Robert Kowalski - PDFSEARCH.IO - Document Search Engine

Robert Kowalski
Results: 31

#	Item
11	Combining Logic Programs and Production Systems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-25 11:02:02 Logic programming Programming paradigms Multi-agent systems Reasoning Epistemology Abductive logic programming AgentSpeak Prolog Robert Kowalski Artificial intelligence Computing Software engineering
12	Chapter 1 Assumption-Based Argumentation Phan Minh Dung, Robert A. Kowalski, and Francesca Toni 1.1 Introduction Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-12-06 04:26:12 Critical thinking Arguments Reasoning Argumentation theory Argument Inference Default logic Defeasible reasoning Counterargument Logic Science Knowledge
13	A logic-based approach to conflict resolution Robert Kowalski Imperial College London April 2003 Revised May 2003 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2003-05-13 16:32:43 Mind Logic programming Production system Cognitive science Intelligent agent Conflict resolution Reason Science Artificial intelligence Knowledge
14	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Temporal logic Logic programming Mathematics Mathematical logic
15	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
16	Logic and Modules Robert Kowalski Department of Computing Imperial College London April 2005 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-04-19 05:03:57 Philosophical logic Programming paradigms Cognition Logical consequence Logic programming Modularity Knowledge representation and reasoning Reason Resolution Logic Science Reasoning
17	INTEGRITY CHECKING IN DEDUCTIVE DATABASES Robert Kowalski Fariba Sadri Paul Soper Departmentof Computing ImperialCollegeof ScienceandTechnology 180Queen’sGate Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:54:17 Automated theorem proving Logic programming Rules of inference Logic in computer science Resolution Prolog Horn clause Clause Function Mathematics Mathematical logic Theoretical computer science
18	The Logical Way to Be Artificially Intelligent Robert Kowalski Imperial College London [removed] http://www.doc.ic.ac.uk/~rak/ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-01-31 10:29:12 Reasoning Epistemology Artificial intelligence Deduction Multi-agent systems Abductive logic programming Logic programming Abductive reasoning Robert Kowalski Logic Science Knowledge
19	Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London United Kingdom [removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-05-10 03:51:12 Mathematical logic Non-classical logic Reasoning Abductive logic programming Epistemology Reason Modal logic Robert Kowalski Intelligent agent Logic Logic programming Science
20	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic

UPDATE